Disjunctive Logic Programming and Databases: Non-monotonic Aspects 1 a Note from the Organizers

نویسنده

  • Chandrabose Aravindan
چکیده

to meet the growing interest in this area of research. It brought together about forty researchers from various countries. Dagstuhl, a place being developed exclusively for research activities in Computer Science, provides an excellent atmosphere for researchers to meet and exchange ideas. During the ve days of the seminar, there were vaious talks, panel discussions, and system demonstrations. This report summarizes all these activities. An on-line version of this report is available at the URL Non-monotonic reasoning plays a fundamental role in knowledge representation , diagnosis, reasoning about action, logic programming and deductive

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

A Note from the Organizers

This report covers the seminar on Disjunctive Logic Programming and Databases: Non-monotonic Aspects, held at Dagstuhl, Germany during July 1–5, 1996. This seminar was organized by Jürgen Dix, Donald Loveland, Jack Minker, and David Warren to meet the growing interest in this area of research. It brought together about forty researchers from various countries. Dagstuhl, a place being developed ...

متن کامل

Stable Semantics for Disjunctive Programs

[VG89b] A. Van Gelder. Negation as failure using tight derivations for general logic programs. [Prz91c] T. C. Przymusinski. Three-valued non-monotonic formalisms and semantics of logic programs. Journal of Articial Intelligence, 1991. (In print. Extended abstract appeared in: T. C. Przy-musinski. Three-valued non-monotonic formalisms and logic programming. [Ros89b] K. Ross. The well founded sem...

متن کامل

DisLog { A System for Reasoning in Disjunctive Deductive Databases

DisLog is a system for reasoning in disjunctive deductive databases. It seeks to combine features of disjunctive logic programming, such as the support for incomplete information, with those of deductive databases, such as all{result inference capabilities. Several basic operators are provided for logical and non{monotonic reasoning: The logical consequence operator derives all logically implie...

متن کامل

DISLOG – A Disjunctive Deductive Database Prototype

DISLOG is a system for reasoning in disjunctive deductive databases. It seeks to combine features of disjunctive logic programming, such as the support for incomplete information, with those of deductive databases, such as all–result inference capabilities. Several basic operators are provided for logical and non–monotonic reasoning: The logical consequence operator derives all logically implie...

متن کامل

Querying Disjunctive Database Through Nonmonotonic Logics

Query languages for retrieving information from disjunctive databases are an interesting open area of research. In this paper we study the expressive power of major non-monotonic formalisms { such as circumscription, default logic, autoepis-temic logic and some logic programming languages { used as query languages over disjunctive databases. For this aim, we deene the semantics of query express...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2006